Gerard J Holzmann: in Z-Library suchen

Spende 15. September, 2024 – 1. Oktober, 2024 Über Spenden

Ihr Zugang zu Kenntnissen und Kultur.

Spende 15. September, 2024 – 1. Oktober, 2024

Z-Library ist eine der größten Online-Bibliotheken in der Welt, die mehr als 17,000,000 Bücher und 84,837,000 Artikel erhält. Wir wollen die Literatur für alle zugänglich machen. Heute (15. September, 2024) starten wir eine zusätzliche Spendenaktion für die Unterstützung und Entwicklung der Projekts.

Auch UNBEGRENZTE Downloads (für 31 Tage nach dem Tag der Spende) sind verfügbar für ALLE Benutzer, die während der Spendenaktion bis 1. Oktober, 2024 spenden werden.

Über SpendenWeitere Informationen erhalten

Angewendete Filter

Genaue Übereinstimmung

Genaue Übereinstimmung

Bücher (18)
Meistgefragt
Liste
- Liste
- Tabelle

1

Spin Model Checker

Spin Model Checker

Addison-Wesley Professional

Gerard J. Holzmann

Jahr:

2003

Sprache:

english

Datei:

PDF, 3.91 MB

0 / 3.0

english, 2003

2

Design And Validation Of Computer Protocols

Design And Validation Of Computer Protocols

Gerard J. Holzmann

Jahr:

1990

Sprache:

english

Datei:

PDF, 2.07 MB

0 / 5.0

english, 1990

3

The SPIN Model Checker: Primer and Reference Manual

The SPIN Model Checker: Primer and Reference Manual

Addison-Wesley Professional

Gerard J. Holzmann

Jahr:

2003

Sprache:

english

Datei:

CHM, 1.33 MB

0 / 0

english, 2003

4

Beyond photography : the digital darkroom

Beyond photography : the digital darkroom

Holzmann, Gerard J.

Jahr:

1988

Sprache:

english

Datei:

PDF, 1.71 MB

0 / 0

english, 1988

5

Design and Validation of Computer Protocols (Prentice Hall Software Series)

Design and Validation of Computer Protocols (Prentice Hall Software Series)

Pearson Technology Group

Gerard Holzmann

Jahr:

1990

Sprache:

english

Datei:

PDF, 1.25 MB

0 / 0

english, 1990

6

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Jahr:

1996

Sprache:

english

Datei:

PDF, 6.37 MB

0 / 0

english, 1996

7

The spin model checker : primer and reference manual

The spin model checker : primer and reference manual

Gerard J Holzmann

Jahr:

2004

Sprache:

english

Datei:

GZ, 22 KB

0 / 0

english, 2004

8

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)

Jahr:

2011

Sprache:

english

Datei:

PDF, 6.13 MB

0 / 0

english, 2011

9

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Jahr:

1996

Sprache:

english

Datei:

DJVU, 3.60 MB

0 / 0

english, 1996

10

Design and validation of computer protocols

Design and validation of computer protocols

Gerard J Holzmann, American Telephone and Telegraph Company

Jahr:

1991

Sprache:

english

Datei:

DJVU, 278 KB

0 / 0

english, 1991

11

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)

Jahr:

2011

Sprache:

english

Datei:

PDF, 7.89 MB

0 / 0

english, 2011

12

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)

Jahr:

2011

Sprache:

english

Datei:

PDF, 5.68 MB

0 / 0

english, 2011

13

NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

Springer International Publishing

Klaus Havelund, Gerard Holzmann, Rajeev Joshi (eds.)

Jahr:

2015

Sprache:

english

Datei:

PDF, 11.76 MB

0 / 0

english, 2015

14

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)

Jahr:

2011

Sprache:

english

Datei:

PDF, 5.05 MB

0 / 0

english, 2011

15

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)

Jahr:

2011

Sprache:

english

Datei:

PDF, 6.81 MB

0 / 0

english, 2011

16

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)

Jahr:

2011

Sprache:

english

Datei:

PDF, 7.11 MB

0 / 0

english, 2011

17

Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), John Hatcliff, Elena Zucca (eds.)

Jahr:

2010

Sprache:

english

Datei:

PDF, 2.88 MB

0 / 0

english, 2010

18

Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), John Hatcliff, Elena Zucca (eds.)

Jahr:

2010

Sprache:

english

Datei:

PDF, 2.95 MB

0 / 0

english, 2010